This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
اقرأ المزيدS3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
اقرأ المزيدThis book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
اقرأ المزيدThis book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
اقرأ المزيدThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
اقرأ المزيدThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
اقرأ المزيدThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدTo support application developers in the various tasks involved in this process, several different tools need to be at his ...
اقرأ المزيد